// ==UserScript==
// @name           Glitch Locations Lister
// @namespace      http://beta.glitch.com/profiles/PIF6RN35T3D1DT2/
// @include        http://www.glitch.com/
// @match          http://www.glitch.com/
// @description    ONLY FOR SCRIPT MAINTAINERS. Generates location listing for the location checker script.
// ==/UserScript==

var BASE_URL = 'http://glitch-location-checker.googlecode.com/svn/trunk/utils/';
var PROCESSING_SCRIPT = 'location_lister_processor.js';

var script = document.createElement('script');
script.setAttribute("src", BASE_URL + PROCESSING_SCRIPT);
script.setAttribute("type", "text/javascript");
(document.body || document.head || document.documentElement).appendChild(script);